1. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
المؤلف: \ [edited by] Thomas Eiter...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامه‌نویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
2. <An> Introduction to Default Logic
المؤلف: Philippe Besnard
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Artificial Intelligence,Logic programming,Logic
رده :
Q
،
335
،.
B49
،
1989
3. An introduction to default logic
المؤلف: Besnard, Philippe
المکتبة: (طهران)
موضوع: ، Artificial intelligence,، Logic programming,، Logic
رده :
Q
335
.
B49
1989
4. Answer set programming /
المؤلف: by Vladimir Lifschitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
رده :
QA76
.
63
5. Approche logique de lintelligence artificielle
المؤلف: Par Andre Thayse... ]et al.[
المکتبة: (طهران)
موضوع: Artificial intelligence , Logic programming
رده :
Q
335
.
A675
6. Artificial intelligence in simulation
المؤلف: FUTO,IVAN
المکتبة: (طهران)
موضوع: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
7. Constraint Solving and Language Processing
المؤلف: edited by Denys Duchier, Yannick Parmentier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
8. Correct reasoning
المؤلف: Esra Erdem ... [et al.] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Logic programming
رده :
QA76
.
63
.
C67
2012eb
9. Distributed constraint logic programming
المؤلف: Leung, Ho-Fung.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
10. Distributed constraint logic programming
المؤلف: Leung, Ho-Fung.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
11. From modallogic to deductive databases
المؤلف: / editor Andre Thayse, authors Paul Gochet...
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Artificial intelligence,Logic programming
رده :
Q
335
.
F76
1989
12. Handbook of logic in artificial intelligence and logic programming
المؤلف: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
المکتبة: (طهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
13. Handbook of logic in artificial intelligence and logic programming
المؤلف: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
المکتبة: (طهران)
موضوع: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
14. Handbook of logic in artificial intelligence and logic programming
المؤلف: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
15. Handbook of logic in artificial intelligence and logic programming
المؤلف: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
المکتبة: (طهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
16. Inductive logic programming
المؤلف: Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Logic programming,Machine learning
رده :
QA76
.
63
I52
2012eb
17. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
المؤلف: Franz Baader, Andrei Voronkov )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
18. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
المؤلف: Matthias Baaz, Andrei Voronkov )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
19. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
المؤلف: / Geoff Sutcliffe, Andrei Voronkov (eds.)
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
20. Logic grammars
المؤلف: Abramson, Harvey
المکتبة: (طهران)
موضوع: ، Logic programming,، Artificial intelligence
رده :
QA
76
.
6
.
A26
1989
